cd $tmpdir

    # Downloading php7 source
    if [ ! -f "$php7" ]; then
        echo "Downloading php7 sources..."
        wget $php7mirror/$php7
        tar -xf $php7
    fi

    # Confingure
    cd $php7srcdir
    ./configure --prefix=$freondir           \
                --sysconfdir=/freon/etc      \
                --localstatedir=/freon/var   \
                --datadir=/freon/share/php   \
                --mandir=/freon/share/man    \
                --with-config-file-path=/etc &&

    # Compile
    make -j20
    make install
    install -v -m644 php.ini-production /etc/php.ini &&

    install -v -m755 -d /freon/share/doc/php-7.2.9 &&
    install -v -m644    CODING_STANDARDS EXTENSIONS INSTALL NEWS README* UPGRADING* php.gif \
                        /freon/share/doc/php-7.2.9 &&
    ln -v -sfn          /freon/lib/php/doc/Archive_Tar/docs/Archive_Tar.txt \
                        /freon/share/doc/php-7.2.9 &&
    ln -v -sfn          /freon/lib/php/doc/Structures_Graph/docs \
                        /freon/share/doc/php-7.2.9

    cd ..
